Otter Research
نویسندگان
چکیده
منابع مشابه
OTTER Proofs in Tarskian Geometry
We report on a project to use OTTER to find proofs of the theorems in Tarskian geometry proved in Szmielew’s part (Part I) of [9]. These theorems start with fundamental properties of betweenness, and end with the development of geometric definitions of addition and multiplication that permit the representation of models of geometry as planes over Euclidean fields, or over real-closed fields in ...
متن کاملThe History and Current Status of Otter Research within Canada Based on Peer Reviewed Journal Articles
In Canada, there are two species of otters, the river otter (Lontra canadensis) and the sea otter (Enhydra lutris). The river otter is considered to be plentiful and ranges throughout a large part of Canada. On the other hand, the sea otter is classified as of Special Concern and only small translocated colonies are found along the coastline of Vancouver Island and British Columbia. The scienti...
متن کاملVocal repertoire of the social giant otter.
According to the "social intelligence hypothesis," species with complex social interactions have more sophisticated communication systems. Giant otters (Pteronura brasiliensis) live in groups with complex social interactions. It is likely that the vocal communication of giant otters is more sophisticated than previous studies suggest. The objectives of the current study were to describe the air...
متن کاملSea otter health: Challenging a pet hypothesis
A recent series of studies on tagged sea otters (Enhydra lutris nereis) challenges the hypothesis that sea otters are sentinels of a dirty ocean, in particular, that pet cats are the main source of exposure to Toxoplasma gondii in central California. Counter to expectations, sea otters from unpopulated stretches of coastline are less healthy and more exposed to parasites than city-associated ot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Oryx
سال: 1954
ISSN: 0030-6053,1365-3008
DOI: 10.1017/s0030605300036917